<?xml version='1.0' encoding='UTF-8'?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<html>
        <head>
          <title>Bijective Goedel Numberings for Term Algebras</title>
          <meta http-equiv="content-type" content="text/html; charset=UTF-8" />
          
      <link type="text/css" media="screen" rel="stylesheet" href="lib/index.css" />
      <script type="text/javascript" src="lib/jquery.js"></script>
      <script type="text/javascript" src="lib/jquery-ui.js"></script>
      <script type="text/javascript" src="lib/jquery.layout.js"></script>
      <script type="text/javascript" src="lib/index.js"></script>
      <script type="text/javascript" src="lib/scheduler.js"></script>
    
        </head>
        <body>
      <div id="library">
        <img class="class icon" src="lib/class.png" />
        <img class="trait icon" src="lib/trait.png" />
        <img class="object icon" src="lib/object.png" />
        <img class="package icon" src="lib/package.png" />
      </div>
      <div class="ui-layout-west" id="browser">
      <div class="ui-west-center">
      <div id="filter"></div>
      <div class="pack" id="tpl">
            
            <ol class="templates"></ol>
            <ol class="packages"> <li class="pack" title="bijectiveGoedelNumberings">
            <a class="tplshow" target="template" href="bijectiveGoedelNumberings/package.html">bijectiveGoedelNumberings</a>
            <ol class="templates"><li title="bijectiveGoedelNumberings.Cantor"><div class="placeholder"></div><a class="tplshow" target="template" href="bijectiveGoedelNumberings/Cantor.html"><span class="trait">(trait)</span><span class="tplLink">Cantor</span></a></li><li title="bijectiveGoedelNumberings.CantorTester"><a class="tplshow" target="template" href="bijectiveGoedelNumberings/CantorTester$.html"><span class="object">(object)</span><div class="placeholder"></div><span class="tplLink">CantorTester</span></a></li><li title="bijectiveGoedelNumberings.Catalan"><div class="placeholder"></div><a class="tplshow" target="template" href="bijectiveGoedelNumberings/Catalan.html"><span class="trait">(trait)</span><span class="tplLink">Catalan</span></a></li><li title="bijectiveGoedelNumberings.F"><div class="placeholder"></div><a class="tplshow" target="template" href="bijectiveGoedelNumberings/F.html"><span class="case class">(case class)</span><span class="tplLink">F</span></a></li><li title="bijectiveGoedelNumberings.FConst"><div class="placeholder"></div><a class="tplshow" target="template" href="bijectiveGoedelNumberings/FConst.html"><span class="case class">(case class)</span><span class="tplLink">FConst</span></a></li><li title="bijectiveGoedelNumberings.FFun"><div class="placeholder"></div><a class="tplshow" target="template" href="bijectiveGoedelNumberings/FFun.html"><span class="case class">(case class)</span><span class="tplLink">FFun</span></a></li><li title="bijectiveGoedelNumberings.FGoedelNums"><div class="placeholder"></div><a class="tplshow" target="template" href="bijectiveGoedelNumberings/FGoedelNums.html"><span class="class">(class)</span><span class="tplLink">FGoedelNums</span></a></li><li title="bijectiveGoedelNumberings.FixedSignatureTerm"><div class="placeholder"></div><a class="tplshow" target="template" href="bijectiveGoedelNumberings/FixedSignatureTerm.html"><span class="trait">(trait)</span><span class="tplLink">FixedSignatureTerm</span></a></li><li title="bijectiveGoedelNumberings.FTermTester"><a class="tplshow" target="template" href="bijectiveGoedelNumberings/FTermTester$.html"><span class="object">(object)</span><div class="placeholder"></div><span class="tplLink">FTermTester</span></a></li><li title="bijectiveGoedelNumberings.FVar"><div class="placeholder"></div><a class="tplshow" target="template" href="bijectiveGoedelNumberings/FVar.html"><span class="case class">(case class)</span><span class="tplLink">FVar</span></a></li><li title="bijectiveGoedelNumberings.Main"><a class="tplshow" target="template" href="bijectiveGoedelNumberings/Main$.html"><span class="object">(object)</span><div class="placeholder"></div><span class="tplLink">Main</span></a></li><li title="bijectiveGoedelNumberings.Term"><div class="placeholder"></div><a class="tplshow" target="template" href="bijectiveGoedelNumberings/Term.html"><span class="trait">(trait)</span><span class="tplLink">Term</span></a></li><li title="bijectiveGoedelNumberings.TermEncoder"><div class="placeholder"></div><a class="tplshow" target="template" href="bijectiveGoedelNumberings/TermEncoder.html"><span class="trait">(trait)</span><span class="tplLink">TermEncoder</span></a></li><li title="bijectiveGoedelNumberings.TermTester"><a class="tplshow" target="template" href="bijectiveGoedelNumberings/TermTester$.html"><span class="object">(object)</span><div class="placeholder"></div><span class="tplLink">TermTester</span></a></li><li title="bijectiveGoedelNumberings.V"><div class="placeholder"></div><a class="tplshow" target="template" href="bijectiveGoedelNumberings/V.html"><span class="case class">(case class)</span><span class="tplLink">V</span></a></li></ol>
            <ol class="packages"> </ol>
          </li></ol>
          </div></div><script src="index.js"></script>
    </div>
      <div class="ui-layout-center" id="content">
        <iframe name="template" src="package.html"></iframe>
      </div>
    </body>
      </html>